%ifdef CONFIG
{
  "HostFeatures": ["AVX"],
  "RegData": {
    "XMM0": ["0xBF8000003F800000", "0x437F000000000000", "0x0000000000000000", "0x0000000000000000"],
    "XMM2": ["0xBF8000003F800000", "0x437F000000000000", "0x0000000000000000", "0x0000000000000000"],
    "XMM3": ["0xBF8000003F800000", "0x437F000000000000", "0xBF8000003F800000", "0x437F000000000000"],
    "XMM4": ["0xBF8000003F800000", "0x437F000000000000", "0xBF8000003F800000", "0x437F000000000000"],
    "XMM6": ["0x4E8000004E7E0000", "0x4E8100004E808000", "0x0000000000000000", "0x0000000000000000"],
    "XMM7": ["0x4E8000004E7E0000", "0x4E8100004E808000", "0x4E8000004E7E0000", "0x4E8100004E808000"]
  }
}
%endif

lea rdx, [rel .data]

vmovapd ymm1, [rdx + 32]
vmovapd ymm5, [rdx]

vcvtdq2ps xmm2, [rdx + 32]
vcvtdq2ps ymm3, [rdx + 32]
vcvtdq2ps xmm6, [rdx]
vcvtdq2ps ymm7, [rdx]

vcvtdq2ps xmm0, xmm1
vcvtdq2ps ymm4, ymm1

hlt

align 32
.data:
dq 0x400000003F800000 ; 2, 1
dq 0x4080000040400000 ; 4, 3
dq 0x400000003F800000 ; 2, 1
dq 0x4080000040400000 ; 4, 3

dq 0xFFFFFFFF00000001 ; -1, 1
dq 0x000000FF00000000 ; 255, 0
dq 0xFFFFFFFF00000001 ; -1, 1
dq 0x000000FF00000000 ; 255, 0
